Search scope:
排序: Display mode:
Asecure data sharing scheme with cheating detection based onChaum-Pedersen protocol for cloud storage Research Papers
Xin WANG, Bo YANG, Zhe XIA, Hong-xia HOU
Frontiers of Information Technology & Electronic Engineering 2019, Volume 20, Issue 6, Pages 787-800 doi: 10.1631/FITEE.1800066
Keywords: Data sharing Chaum-Pedersen proof Cheating detection Cloud storage
A new proof of Honeycomb Conjecture by fractal geometry methods
Tong ZHANG, Kai DING
Frontiers of Mechanical Engineering 2013, Volume 8, Issue 4, Pages 367-370 doi: 10.1007/s11465-013-0273-7
Based on fractal geometry, we put forward a concise and straightforward method to prove Honeycomb Conjecture—a classical mathematic problem. Hexagon wins the most efficient covering unit in the two- dimensional space, compared with the other two covering units—triangle and square. From this point of view, honeycomb is treated as a hierarchical fractal structure that fully fills the plane. Therefore, the total side length and area are easily calculated and from the results, the covering efficiency of each possible unit is provided quantitatively.
Keywords: Honeycomb Conjecture fractal geometry hierarchical fractal structure
Connected morphable components-based multiscale topology optimization
PEDERSEN, Wei CHEN
Frontiers of Mechanical Engineering 2019, Volume 14, Issue 2, Pages 129-140 doi: 10.1007/s11465-019-0532-3
Keywords: multiscale topology optimization morphable component material microstructure homogenization
Jordan DAVIDSON, John FOWLER, Charalampos PANTAZIS, Massimo SANNINO, Jordan WALKER, Moslem SHEIKHKHOSHKAR, Farzad Pour RAHIMIAN
Frontiers of Engineering Management 2020, Volume 7, Issue 3, Pages 396-403 doi: 10.1007/s42524-019-0039-y
Keywords: virtual reality bill of quantities BIM Revit real-time synchronisation
A strategy-proof auction mechanism for service composition based on user preferences
Yao Xia, Zhiqiu Huang,xiayao@nuaa.edu.cn,zqhuang@nuaa.edu.cn
Frontiers of Information Technology & Electronic Engineering 2021, Volume 22, Issue 2, Pages 141-286 doi: 10.1631/FITEE.1900726
Keywords: Combinatorial reverse auction Service composition User preference Strategy-proof Dynamic pricing
Design of three phase induction motor with flame proof variable frequency used in scraper conveyor
He Huiming,Yang Xiaozhou,Xiao Hong,Fan Zuozhi,Qian Liang,Fan Guang
Strategic Study of CAE 2012, Volume 14, Issue 2, Pages 59-68
This paper describes a new product, the flame-proof variable-frequency
Keywords: flame proof variable frequency induction motor construction design electromagnetism calculation
Marine Structures: Future Trends and the Role of Universities Perspective
Preben Terndrup Pedersen
Engineering 2015, Volume 1, Issue 1, Pages 131-138 doi: 10.15302/J-ENG-2015004
This paper emphasizes some of the challenges and trends associated with the future development of marine structures. Its main focus is on ways to improve the efficiency of energy-consuming ships, and on design challenges related to energy-producing offshore structures. This paper also discusses the analysis tools that are most needed to enable sustainable designs for future ships and offshore structures. The last section of the paper contains thoughts on the role of universities in education, research, and innovation regarding marine structures. It discusses curriculum requirements for maritime-technology education, basic research activities, and international cooperation.
Keywords: marine structures ships offshore structures curriculum research activities
Proof of the heavy tailed property of normal cloud model
Li Deyi,Liu Changyu,Gan Wenyan
Strategic Study of CAE 2011, Volume 13, Issue 4, Pages 20-23
Normal distribution and heavy tailed distribution are very important in probability theories. They have totally different mathematical forms and physical meanings. The probability density function of normal distribution decay exponentially to 0. The majority of normal random variable values are around the mathematical expectation. The tailed distribution function of the random variables that obey heavy tailed distribution shows heavy tailed characteristic. The probability density function decays power exponentially to 0.In this paper, we proved that the normal cloud model is heavy tailed distribution and its mathematical expectation exists.It is intermediate between notmal distribution and heavy tailed distribution. The parameter He(hyper entropy) of the normal cloud model is the bridge from normal distribution to heavy tailed distribution.
Keywords: normal distribution heavy tailed distribution normal cloud model kurtosis
Scientific Verification Is the Basis for Correct Decisionmaking of Major Project
Pan Jiazheng,Wang Jiazhu
Strategic Study of CAE 2001, Volume 3, Issue 3, Pages 21-26
The Three Gorges Project is the largest multi-purpose hydro-development project ever built in China and so in the world. The re-verification on TGP undertaken by 412 Chinese experts from 1986 to 1989, laid the foundation for the execution of the project construction. Since 1993, the construction has been commenced and proceeded smoothly according to the approved general schedule. The project investment is well controlled within the approved estimates of the preliminary design. The quality of the work already completed is satisfactory to the design requirements. Several important conclusions drawn from the re-verification have been proved preliminarily to be correct. And a series of major technical challenges, such as river closure of the grand channel, the construction of the deen water cofferdam, the excavation stability of the permanent ship lock with high slope, and the extremely high intensive concrete placement, have been met. The practice has fully proved the necessity and correctness of the previous scientific verification.
Keywords: scientific verification Three Gorges Project practical proof
Study on principle of electromagnetic-proof bionics and fault-restore mechanism
Yuan Liang,Man Menghua and Chang Xiaolong
Strategic Study of CAE 2014, Volume 16, Issue 3, Pages 76-85
As we borrowed the wisdom from biological neural system,the characteristic of interference-proof inOur study includes the response of electrical- interference- proof circuit in electromagnetic environmentrobustness of functions were proved in order to fill the gap to deal with the need of interference-proof
Keywords: bionics electromagnetic bionics electromagnetic protection degeneracy plasticity robustness
Title Author Date Type Operation
Asecure data sharing scheme with cheating detection based onChaum-Pedersen protocol for cloud storage
Xin WANG, Bo YANG, Zhe XIA, Hong-xia HOU
Journal Article
A new proof of Honeycomb Conjecture by fractal geometry methods
Tong ZHANG, Kai DING
Journal Article
Connected morphable components-based multiscale topology optimization
PEDERSEN, Wei CHEN
Journal Article
Integration of VR with BIM to facilitate real-time creation of bill of quantities during the design phase: a proof
Jordan DAVIDSON, John FOWLER, Charalampos PANTAZIS, Massimo SANNINO, Jordan WALKER, Moslem SHEIKHKHOSHKAR, Farzad Pour RAHIMIAN
Journal Article
A strategy-proof auction mechanism for service composition based on user preferences
Yao Xia, Zhiqiu Huang,xiayao@nuaa.edu.cn,zqhuang@nuaa.edu.cn
Journal Article
Design of three phase induction motor with flame proof variable frequency used in scraper conveyor
He Huiming,Yang Xiaozhou,Xiao Hong,Fan Zuozhi,Qian Liang,Fan Guang
Journal Article
Marine Structures: Future Trends and the Role of Universities
Preben Terndrup Pedersen
Journal Article
Proof of the heavy tailed property of normal cloud model
Li Deyi,Liu Changyu,Gan Wenyan
Journal Article
Scientific Verification Is the Basis for Correct Decisionmaking of Major Project
Pan Jiazheng,Wang Jiazhu
Journal Article